基于传递闭包的任务时序依赖关系建模方法

建立正确、有效的任务模型是正确引导出信息系统需求的关键步骤。文中针对任务间时序依赖关系,给出与任务建模相关的若干形式定义和命题,帮助分析人员判断任务间的并发和死锁。给出任务间时序依赖关系建模的详细步骤,并根据时序依赖关系的传递性质,给出一种任务关系图上的传递闭包方法,可以帮助分析人员直观地判断任务间时序依赖关系的问题和错误,科学、合理地标记各个任务的时序等级属性,帮助建模人员从全局上明确各个任务在执行时所处的相对位置,以及在每个阶段需要同时展开哪些任务。     

HESTool:基于层次链知识组织的专家系统工具

提出了任务 (Task)的概念 ,每个任务代表一种知识源。不同的任务可以采用不同知识表示形式及推理策略。一个知识库由一组前向或后向链构成的任务链组成 ,实现了知识库的结构化、可视化 ,支持知识部件的可重用与共享。同时 ,结合可视化技术、数据库技术 ,开发出实用性较强的专家系统工具HESTool,该工具提供了一种知识建模机制     

一种高频区复杂雷达目标二维散射的参数模型

为描述高频区雷达目标复杂的二维散射 ,提出采用更贴近散射机理的、特征含量更为丰富的二维散射中心模型———类型区分的几何绕射理论 (TD GTD)模型。将一种高效的基于AGR的参数估计初始值选取方法 ,以及引入RELAX技术的最大似然估计算法 (ML RELAX) ,用于模型参量的估计。解决了同时估计多个散射中心这一造成计算量过大的根源问题。实验证实了TD GTD模型的合理性以及ML RELAX算法估计性能的优越性     

使用检查维修工作模型的建立

RCMA是制订装备预防性维修大纲的系统方法,可用度是制订军械装备预防性维修周期的主要决策目标,对RCMA七种工作类型之一的使用检查工作建立了以可用度为决策目标的一般模型,举例给出了模型输出结果的特征和敏感性,对几种特殊情况进行了讨论,给出的模型可用于此类问题的维修决策。     

船艇模拟训练指挥控制分系统的设计

本文结合某型船艇模拟训练系统的研制,讨论了指挥控制分系统的硬件组成及软件设计,分析了系统模块化的构建,并对所涉及的船艇信息库及自然环境库、异构系统间的网络通信、船艇兵力行动的仿真等关键技术进入了深入的研究和分析,指出了这一方法有助于提高复杂战术背景下船艇进行综合模拟训练的有效性和针对性,具有良好的推广应用前景.     

What you should know about location modeling

Facility location models have been applied to problems in the public and private sectors for years. In this article, the author first presents a taxonomy of location problems based on the underlying space in which the problem is embedded. The article illustrates problems from each part of the taxonomy with an emphasis on discrete location problems. Selected recent research in the area is also discussed. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)...     

基于心理调查和空间干预的人群心理仿真

突发危机事件中人群心理评估是当前危机管理急需解决的难点问题.由于突发危机事件群体心理数据采集的困难性和人群心理变化的复杂性等原因,传统方法很难准确评估群体心理效果.随着计算机科学的发展,建模仿真成为解决这类问题的有效手段.以复杂适应系统理论为指导,采用基于Agent的建模与仿真方法,研究外部事件刺激下群体的心理行为,构...     

多维 AR 模型梯格滤波的一般形式及其在不同数据窗下的实现

本文以基本的矩阵代数为工具,对于多维AR模型推导了梯格滤波的一般公式。在此基础上,可方便地得到在不同数据窗下(如预加窗、协方差窗和滑动窗)的实现算法。     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。